ricerca.pl -> contiene prova, ossia il "main"

regole.pl -> Contiene le azioni eseguibili: applicabile/trasforma e altre clausole

dominio.pl -> Contiene le informazioni su stato iniziale e finale e altre info

###################################################################################
##### I prossimi due documenti hanno all'inizio la clausola che fa da wrapper #####
###################################################################################

algoritmi.pl -> Contiene gli algoritmi di ricerca nello spazio degli stati (algoritmi euristici: A* ed IDA*; non usare A*, non so perchè ma non va)

euristiche.pl -> Contiene le euristiche utilizzate dagli algoritmi che usano l'euristica.